- 命題公式
- formula: n. (pl. formulas, -lae ) 1.公 ...
- formula of propositional logic: 命題邏輯公式
- propositional: 建議的; 提議的; 主張的
- propositional act: 命題行為
- propositional algebra: 命題代數(shù)
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
propositional formula中文什么意思
- 命題公式
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
例句與用法
- For efficient reasons , the lemmas are represented in propositional formulas and a sat solver is used to perform the necessary reasoning
提出了一個(gè)新的直接搜索算法，它使用了在sat問(wèn)題中行之有效的沖突分析和學(xué)習(xí)機(jī)制。 - Based on paper [ 1 ] and [ 2 ] , this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally
摘要在文[ 1 ]和文[ 2 ]的基礎(chǔ)上，給出了命題邏輯中任一命題公式的主析取范式和主合取范式的自動(dòng)生成算法，并實(shí)現(xiàn)了多個(gè)命題公式主范式的同時(shí)形式化輸出。 - Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable
給出了命題邏輯中任一命題公式的真值表的生成算法與命題公式類型的判定算法，實(shí)現(xiàn)了利用計(jì)算機(jī)對(duì)有限多個(gè)命題公式的真值表的直接計(jì)算和輸出，以及對(duì)一個(gè)命題公式是重言式、矛盾式或可滿足式的機(jī)械判定。
百科釋義
In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value.
詳細(xì)百科解釋